| 1. | Drs and the formula of first - order predicate logic
与一阶谓词逻辑公式 |
| 2. | On predicate logic ' s application in ai
谓词逻辑在人工智能中的应用 |
| 3. | A model representation method based on first order predicate logic
一种基于一阶谓词逻辑的模型表示方法 |
| 4. | Theory of quasi - truth degrees of formulas in two - valued predicate logic
一类二值谓词逻辑中公式的准真度理论 |
| 5. | Theory of truth degree based on the finite interpretation and enumerable interpretation of fuzzy predicate logic formulas
模糊谓词逻辑公式的有限和可数解释真度理论 |
| 6. | The effectiveness of this expert system has been proven during tests , which supplies a gap between the predicate logic and uncertain inference
经过测试,证实了该系统的有效性,弥补了过去谓词在不精确推理方面的缺陷。 |
| 7. | Toshio umezawa . on logics intermediate between intuitionistic and classical predicate logic . journal of symbolic logic , 24 ( 2 ) : 141 ? 153 , june 1959
中间逻辑是一个与逻辑学相关的小作品。你可以通过编辑或修订扩充其内容。 |
| 8. | I believe that it ' s very useful for computer science students who learning boolean algebra and predicate logic ( like my self )
我相信对于学习布尔代数学和谓词逻辑的计算机科学学生（像我自己这样的）来说它是非常有用的。 |
| 9. | Theory of truth degree of first - order fuzzy predicate logics formulas based on the finite interpretation and enumerable interpretation and its application
一阶模糊谓词逻辑公式的有限解释真度和可数解释真度的理论及其应用 |
| 10. | Second , the paper introduces the modeling characteristic of uml , provides formalization definition of nine kinds of diagram in uml using predicate logic , and points out their respective functions
其次，本文对uml的建模特性进行了分析和研究，给出了uml中九种图的形式化定义，并指出它们各自的作用。 |
